The parallel implementation of the Astr´ ee static analyzer David Monniaux http://www.di.ens.fr Centre national de la recherche scientifique (CNRS)

Source URL: www-verimag.imag.fr

• Theoretical computer science
• Logic in computer science
• Software engineering
• Formal methods
• Models of computation
• Parallel computing
• Programming language semantics
• Denotational semantics
• Abstract interpretation
• Semantics
• Astre

Backwards Abstract Interpretation of Probabilistic Programs David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France

Source URL: www-verimag.imag.fr

• Operator theory
• Theoretical computer science
• Measure theory
• Mathematics
• Analysis
• Denotational semantics
• Logic in computer science
• Hermitian adjoint
• Support
• Expected value
• Abstract interpretation
• Adjoint functors

Abstract interpretation of probabilistic semantics David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France

Source URL: www-verimag.imag.fr

• Theoretical computer science
• Mathematics
• Mathematical logic
• Logic in computer science
• Programming language semantics
• Measure theory
• Boolean algebra
• Probability theory
• Denotational semantics
• Predicate transformer semantics
• Sigma-algebra
• PP

Interface Transparency and the Psychosemantics of most Jeffrey Lidz, University of Maryland Justin Halberda, Johns Hopkins University Paul Pietroski, University of Maryland Tim Hunter, University of Maryland Contact Info

Source URL: ling.umd.edu

• Logic
• Philosophy
• Abstraction
• Semantics
• Philosophy of language
• Philosophical logic
• Meaning
• Quantification
• Model theory
• Truth condition
• First-order logic
• Generalized quantifier

EUROPEAN PATENT OFFICE U.S. PATENT AND TRADEMARK OFFICE CPC NOTICE OF CHANGES 178 DATE: MAY 1, 2016 PROJECT DP0126

Source URL: www.cooperativepatentclassification.org

• Definition
• Lexicography
• Meaning
• Philosophical logic
• Philosophy of language
• Semantics
• ASCII
• International System of Units
• Symbol

Towards a Systematic Account of Different Semantics for Logic Programs Pascal Hitzler?? AIFB, Universit¨ at Karlsruhe, Germany http://www.aifb.uni-karlsruhe.de/WBS/phi/

Source URL: daselab.cs.wright.edu

EUROPEAN PATENT OFFICE U.S. PATENT AND TRADEMARK OFFICE CPC NOTICE OF CHANGES 177 DATE: MAY 1, 2016 PROJECT DP0124

Source URL: www.cooperativepatentclassification.org

• Definition
• Lexicography
• Meaning
• Philosophical logic
• Philosophy of language
• Semantics
• International System of Units

U EUROPEAN PATENT OFFICE U.S. PATENT AND TRADEMARK OFFICE CPC NOTICE OF CHANGES 182 DATE: MAY 1, 2016 PROJECT DP0135

Source URL: www.cooperativepatentclassification.org

• Systems of units
• Logic
• Linguistics
• Analytic philosophy
• Lexicography
• Definition
• Meaning
• Philosophical logic
• Semantics
• Plasticizer
• Metric system
• International System of Units

Efficient Formally Secure Compilers to a Tagged Architecture General Information machine-checked proofs of full abstraction with respect to a secure high-level semantics [3]. This is much stronger than

Source URL: prosecco.gforge.inria.fr

• Software engineering
• Computing
• Software
• Compiler construction
• Formal methods
• Logic in computer science
• Programming language implementation
• Functional languages
• Programming language
• Semantics
• Compiler
• Low-level programming language

Programming with Algebraic Effects and Handlers Andrej Bauer Matija Pretnar

Source URL: math.andrej.com

• Software engineering
• Computer programming
• Theoretical computer science
• Symbol
• Logic in computer science
• Valuation
• Denotational semantics
• Monad
• Table of stars with Bayer designations